#include <stdio.h>

int main()
{	       
    char isbn[13];
    int i, k = 0, last, p;
    gets(isbn);
    for (i = 0, p = 0; i < 11; i ++)
    {	       
        if (isbn[i] == '-') continue;
        p ++;
        k += (isbn[i] - 48) * p;
    }
    last = k % 11;
    if (last == 10)
        last = 'X';
    else
        last += 48;

    if (last == isbn[12])
        printf("Right");
    else
    {	       
        isbn[12] = last;
        printf("%s", isbn);
    }
    return 0;
}	    